import redis

r = redis.Redis()

v_file = open('users.txt', 'w')

for user in r.smembers('promotion:1:members'):
	v_file.write(user+',\n')

v_file.close()